$\vdash$  $\forall$$i$:$\mathbb{N}^{+}$. 0 $<$ $i$